--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
tests/backend/test_lxmf_status_oracle.py dev (af76f09d) Text, 7.15 KB
T8b949e# SPDX-License-Identifier: 0BSD
T8b949e"""Oracle tests for LXMF state and method reporting.
Guarantee: MeshChatX API state and method strings match LXMF.LXMessage
constants. Propagation is a delivery method, never a lifecycle state.
"""
Tff7b72from T7ee787types Tff7b72import Te6edf3SimpleNamespace
Tff7b72from T7ee787unittestT7ee787.T7ee787mock Tff7b72import Te6edf3MagicMock
Tff7b72import T7ee787LXMF
Tff7b72import T7ee787pytest
Tff7b72from T7ee787hypothesis Tff7b72import Te6edf3givenTb4b4b4, Te6edf3settings
Tff7b72from T7ee787hypothesis Tff7b72import Te6edf3strategies Tff7b72as Te6edf3st
Tff7b72from T7ee787meshchatxT7ee787.T7ee787srcT7ee787.T7ee787backendT7ee787.T7ee787lxmf_utils Tff7b72import Tb4b4b4(
Te6edf3convert_lxmf_message_to_dictTb4b4b4,
Te6edf3convert_lxmf_method_to_stringTb4b4b4,
Te6edf3convert_lxmf_state_to_stringTb4b4b4,
Tb4b4b4)
T8b949e# Independent contract: derived from LXMF constant names, not from MeshChatX
T8b949e# if/elif branches. If LXMF adds a state, this table must be updated deliberately.
Te6edf3LXMF_STATE_ORACLE Tff7b72= Tb4b4b4{
Te6edf3LXMFTff7b72.Td2a8ffLXMessageTff7b72.Td2a8ffGENERATINGTb4b4b4: Ta5d6ff"Ta5d6ffgeneratingTa5d6ff"Tb4b4b4,
Te6edf3LXMFTff7b72.Td2a8ffLXMessageTff7b72.Td2a8ffOUTBOUNDTb4b4b4: Ta5d6ff"Ta5d6ffoutboundTa5d6ff"Tb4b4b4,
Te6edf3LXMFTff7b72.Td2a8ffLXMessageTff7b72.Td2a8ffSENDINGTb4b4b4: Ta5d6ff"Ta5d6ffsendingTa5d6ff"Tb4b4b4,
Te6edf3LXMFTff7b72.Td2a8ffLXMessageTff7b72.Td2a8ffSENTTb4b4b4: Ta5d6ff"Ta5d6ffsentTa5d6ff"Tb4b4b4,
Te6edf3LXMFTff7b72.Td2a8ffLXMessageTff7b72.Td2a8ffDELIVEREDTb4b4b4: Ta5d6ff"Ta5d6ffdeliveredTa5d6ff"Tb4b4b4,
Te6edf3LXMFTff7b72.Td2a8ffLXMessageTff7b72.Td2a8ffREJECTEDTb4b4b4: Ta5d6ff"Ta5d6ffrejectedTa5d6ff"Tb4b4b4,
Te6edf3LXMFTff7b72.Td2a8ffLXMessageTff7b72.Td2a8ffCANCELLEDTb4b4b4: Ta5d6ff"Ta5d6ffcancelledTa5d6ff"Tb4b4b4,
Te6edf3LXMFTff7b72.Td2a8ffLXMessageTff7b72.Td2a8ffFAILEDTb4b4b4: Ta5d6ff"Ta5d6fffailedTa5d6ff"Tb4b4b4,
Tb4b4b4}
Te6edf3LXMF_METHOD_ORACLE Tff7b72= Tb4b4b4{
Te6edf3LXMFTff7b72.Td2a8ffLXMessageTff7b72.Td2a8ffOPPORTUNISTICTb4b4b4: Ta5d6ff"Ta5d6ffopportunisticTa5d6ff"Tb4b4b4,
Te6edf3LXMFTff7b72.Td2a8ffLXMessageTff7b72.Td2a8ffDIRECTTb4b4b4: Ta5d6ff"Ta5d6ffdirectTa5d6ff"Tb4b4b4,
Te6edf3LXMFTff7b72.Td2a8ffLXMessageTff7b72.Td2a8ffPROPAGATEDTb4b4b4: Ta5d6ff"Ta5d6ffpropagatedTa5d6ff"Tb4b4b4,
Te6edf3LXMFTff7b72.Td2a8ffLXMessageTff7b72.Td2a8ffPAPERTb4b4b4: Ta5d6ff"Ta5d6ffpaperTa5d6ff"Tb4b4b4,
Tb4b4b4}
Te6edf3API_LIFECYCLE_STATES Tff7b72= Tffa657frozensetTb4b4b4(Te6edf3LXMF_STATE_ORACLETff7b72.Td2a8ffvaluesTb4b4b4(Tb4b4b4)Tb4b4b4) Tff7b72| Tb4b4b4{Ta5d6ff"Ta5d6ffunknownTa5d6ff"Tb4b4b4}
Te6edf3API_DELIVERY_METHODS Tff7b72= Tffa657frozensetTb4b4b4(Te6edf3LXMF_METHOD_ORACLETff7b72.Td2a8ffvaluesTb4b4b4(Tb4b4b4)Tb4b4b4) Tff7b72| Tb4b4b4{Ta5d6ff"Ta5d6ffunknownTa5d6ff"Tb4b4b4}
T8b949e# LXMF has no lifecycle state for "on propagation node". That meaning is
T8b949e# method=PROPAGATED + state=SENT (or later DELIVERED).
Tff7b72assert Ta5d6ff"Ta5d6ffpropagatedTa5d6ff" Tff7b72not Tff7b72in Te6edf3LXMF_STATE_ORACLETff7b72.Td2a8ffvaluesTb4b4b4(Tb4b4b4)
Tff7b72def Td2a8ff_msgTb4b4b4(Tff7b72*Tff7b72*Te6edf3attrsTb4b4b4)Tb4b4b4:
Tff7b72return Te6edf3SimpleNamespaceTb4b4b4(Tff7b72*Tff7b72*Te6edf3attrsTb4b4b4)
Tff7b72def Td2a8ff_mock_lxmessageTb4b4b4(Tff7b72*Tb4b4b4, Te6edf3stateTb4b4b4, Te6edf3methodTb4b4b4)Tb4b4b4:
Te6edf3mock_msg Tff7b72= Te6edf3MagicMockTb4b4b4(Te6edf3specTff7b72=Te6edf3LXMFTff7b72.Td2a8ffLXMessageTb4b4b4)
Te6edf3mock_msgTff7b72.Td2a8ffhash Tff7b72= Ta5d6ffbTa5d6ff"Ta5d6ffmTa5d6ff" Tff7b72* T79c0ff16
Te6edf3mock_msgTff7b72.Td2a8ffsource_hash Tff7b72= Ta5d6ffbTa5d6ff"Ta5d6ffsTa5d6ff" Tff7b72* T79c0ff16
Te6edf3mock_msgTff7b72.Td2a8ffdestination_hash Tff7b72= Ta5d6ffbTa5d6ff"Ta5d6ffdTa5d6ff" Tff7b72* T79c0ff16
Te6edf3mock_msgTff7b72.Td2a8ffincoming Tff7b72= Tff7b72False
Te6edf3mock_msgTff7b72.Td2a8ffstate Tff7b72= Te6edf3state
Te6edf3mock_msgTff7b72.Td2a8ffprogress Tff7b72= T79c0ff1.0 Tff7b72if Te6edf3state Tff7b72== Te6edf3LXMFTff7b72.Td2a8ffLXMessageTff7b72.Td2a8ffDELIVERED Tff7b72else T79c0ff0.0
Te6edf3mock_msgTff7b72.Td2a8ffmethod Tff7b72= Te6edf3method
Te6edf3mock_msgTff7b72.Td2a8ffdelivery_attempts Tff7b72= T79c0ff0
Te6edf3mock_msgTff7b72.Td2a8fftitle Tff7b72= Ta5d6ffbTa5d6ff"Ta5d6ff"
Te6edf3mock_msgTff7b72.Td2a8ffcontent Tff7b72= Ta5d6ffbTa5d6ff"Ta5d6ffhelloTa5d6ff"
Te6edf3mock_msgTff7b72.Td2a8fftimestamp Tff7b72= T79c0ff1_700_000_000
Te6edf3mock_msgTff7b72.Td2a8ffrssi Tff7b72= Tff7b72None
Te6edf3mock_msgTff7b72.Td2a8ffsnr Tff7b72= Tff7b72None
Te6edf3mock_msgTff7b72.Td2a8ffq Tff7b72= Tff7b72None
Te6edf3mock_msgTff7b72.Td2a8ffget_fieldsTff7b72.Td2a8ffreturn_value Tff7b72= Tb4b4b4{Tb4b4b4}
Te6edf3mock_msgTff7b72.Td2a8ffoutbound_ticket Tff7b72= Tff7b72None
Te6edf3mock_msgTff7b72.Td2a8ffstamp_cost Tff7b72= Tff7b72None
Te6edf3mock_msgTff7b72.Td2a8ffstamp Tff7b72= Tff7b72None
Te6edf3mock_msgTff7b72.Td2a8ffdefer_stamp Tff7b72= Tff7b72False
Tff7b72return Te6edf3mock_msg
Tf0883e@pytestTff7b72.Td2a8ffmarkTff7b72.Td2a8ffparametrizeTb4b4b4(Tb4b4b4(Ta5d6ff"Ta5d6fflxmf_stateTa5d6ff"Tb4b4b4, Ta5d6ff"Ta5d6ffexpectedTa5d6ff"Tb4b4b4)Tb4b4b4, Tffa657listTb4b4b4(Te6edf3LXMF_STATE_ORACLETff7b72.Td2a8ffitemsTb4b4b4(Tb4b4b4)Tb4b4b4)Tb4b4b4)
Tff7b72def Td2a8fftest_oracle_state_constant_maps_to_api_stringTb4b4b4(Te6edf3lxmf_stateTb4b4b4, Te6edf3expectedTb4b4b4)Tb4b4b4:
Tff7b72assert Te6edf3convert_lxmf_state_to_stringTb4b4b4(Te6edf3_msgTb4b4b4(Te6edf3stateTff7b72=Te6edf3lxmf_stateTb4b4b4)Tb4b4b4) Tff7b72== Te6edf3expected
Tf0883e@pytestTff7b72.Td2a8ffmarkTff7b72.Td2a8ffparametrizeTb4b4b4(Tb4b4b4(Ta5d6ff"Ta5d6fflxmf_methodTa5d6ff"Tb4b4b4, Ta5d6ff"Ta5d6ffexpectedTa5d6ff"Tb4b4b4)Tb4b4b4, Tffa657listTb4b4b4(Te6edf3LXMF_METHOD_ORACLETff7b72.Td2a8ffitemsTb4b4b4(Tb4b4b4)Tb4b4b4)Tb4b4b4)
Tff7b72def Td2a8fftest_oracle_method_constant_maps_to_api_stringTb4b4b4(Te6edf3lxmf_methodTb4b4b4, Te6edf3expectedTb4b4b4)Tb4b4b4:
Tff7b72assert Te6edf3convert_lxmf_method_to_stringTb4b4b4(Te6edf3_msgTb4b4b4(Te6edf3methodTff7b72=Te6edf3lxmf_methodTb4b4b4)Tb4b4b4) Tff7b72== Te6edf3expected
Tf0883e@givenTb4b4b4(Te6edf3stateTff7b72=Te6edf3stTff7b72.Td2a8ffsampled_fromTb4b4b4(Tffa657listTb4b4b4(Te6edf3LXMF_STATE_ORACLETff7b72.Td2a8ffkeysTb4b4b4(Tb4b4b4)Tb4b4b4)Tb4b4b4)Tb4b4b4)
Tf0883e@settingsTb4b4b4(Te6edf3max_examplesTff7b72=T79c0ff64Tb4b4b4, Te6edf3deadlineTff7b72=Tff7b72NoneTb4b4b4)
Tff7b72def Td2a8fftest_oracle_known_states_never_unknownTb4b4b4(Te6edf3stateTb4b4b4)Tb4b4b4:
Te6edf3reported Tff7b72= Te6edf3convert_lxmf_state_to_stringTb4b4b4(Te6edf3_msgTb4b4b4(Te6edf3stateTff7b72=Te6edf3stateTb4b4b4)Tb4b4b4)
Tff7b72assert Te6edf3reported Tff7b72== Te6edf3LXMF_STATE_ORACLETb4b4b4[Te6edf3stateTb4b4b4]
Tff7b72assert Te6edf3reported Tff7b72!= Ta5d6ff"Ta5d6ffunknownTa5d6ff"
Tf0883e@givenTb4b4b4(Te6edf3methodTff7b72=Te6edf3stTff7b72.Td2a8ffsampled_fromTb4b4b4(Tffa657listTb4b4b4(Te6edf3LXMF_METHOD_ORACLETff7b72.Td2a8ffkeysTb4b4b4(Tb4b4b4)Tb4b4b4)Tb4b4b4)Tb4b4b4)
Tf0883e@settingsTb4b4b4(Te6edf3max_examplesTff7b72=T79c0ff32Tb4b4b4, Te6edf3deadlineTff7b72=Tff7b72NoneTb4b4b4)
Tff7b72def Td2a8fftest_oracle_known_methods_never_unknownTb4b4b4(Te6edf3methodTb4b4b4)Tb4b4b4:
Te6edf3reported Tff7b72= Te6edf3convert_lxmf_method_to_stringTb4b4b4(Te6edf3_msgTb4b4b4(Te6edf3methodTff7b72=Te6edf3methodTb4b4b4)Tb4b4b4)
Tff7b72assert Te6edf3reported Tff7b72== Te6edf3LXMF_METHOD_ORACLETb4b4b4[Te6edf3methodTb4b4b4]
Tff7b72assert Te6edf3reported Tff7b72!= Ta5d6ff"Ta5d6ffunknownTa5d6ff"
Tf0883e@givenTb4b4b4(
Te6edf3stateTff7b72=Te6edf3stTff7b72.Td2a8ffintegersTb4b4b4(Te6edf3min_valueTff7b72=T79c0ff0Tb4b4b4, Te6edf3max_valueTff7b72=T79c0ff512Tb4b4b4)Tff7b72.Td2a8fffilterTb4b4b4(
Tff7b72lambda Te6edf3vTb4b4b4: Te6edf3v Tff7b72not Tff7b72in Te6edf3LXMF_STATE_ORACLE
Tb4b4b4)
Tb4b4b4)
Tf0883e@settingsTb4b4b4(Te6edf3max_examplesTff7b72=T79c0ff80Tb4b4b4, Te6edf3deadlineTff7b72=Tff7b72NoneTb4b4b4)
Tff7b72def Td2a8fftest_oracle_unknown_state_ints_report_unknownTb4b4b4(Te6edf3stateTb4b4b4)Tb4b4b4:
Tff7b72assert Te6edf3convert_lxmf_state_to_stringTb4b4b4(Te6edf3_msgTb4b4b4(Te6edf3stateTff7b72=Te6edf3stateTb4b4b4)Tb4b4b4) Tff7b72== Ta5d6ff"Ta5d6ffunknownTa5d6ff"
Tf0883e@givenTb4b4b4(
Te6edf3methodTff7b72=Te6edf3stTff7b72.Td2a8ffintegersTb4b4b4(Te6edf3min_valueTff7b72=T79c0ff0Tb4b4b4, Te6edf3max_valueTff7b72=T79c0ff64Tb4b4b4)Tff7b72.Td2a8fffilterTb4b4b4(
Tff7b72lambda Te6edf3vTb4b4b4: Te6edf3v Tff7b72not Tff7b72in Te6edf3LXMF_METHOD_ORACLE
Tb4b4b4)
Tb4b4b4)
Tf0883e@settingsTb4b4b4(Te6edf3max_examplesTff7b72=T79c0ff40Tb4b4b4, Te6edf3deadlineTff7b72=Tff7b72NoneTb4b4b4)
Tff7b72def Td2a8fftest_oracle_unknown_method_ints_report_unknownTb4b4b4(Te6edf3methodTb4b4b4)Tb4b4b4:
Tff7b72assert Te6edf3convert_lxmf_method_to_stringTb4b4b4(Te6edf3_msgTb4b4b4(Te6edf3methodTff7b72=Te6edf3methodTb4b4b4)Tb4b4b4) Tff7b72== Ta5d6ff"Ta5d6ffunknownTa5d6ff"
Tf0883e@givenTb4b4b4(
Te6edf3stateTff7b72=Te6edf3stTff7b72.Td2a8ffsampled_fromTb4b4b4(Tffa657listTb4b4b4(Te6edf3LXMF_STATE_ORACLETff7b72.Td2a8ffkeysTb4b4b4(Tb4b4b4)Tb4b4b4)Tb4b4b4)Tb4b4b4,
Te6edf3methodTff7b72=Te6edf3stTff7b72.Td2a8ffsampled_fromTb4b4b4(Tffa657listTb4b4b4(Te6edf3LXMF_METHOD_ORACLETff7b72.Td2a8ffkeysTb4b4b4(Tb4b4b4)Tb4b4b4)Tb4b4b4)Tb4b4b4,
Tb4b4b4)
Tf0883e@settingsTb4b4b4(Te6edf3max_examplesTff7b72=T79c0ff64Tb4b4b4, Te6edf3deadlineTff7b72=Tff7b72NoneTb4b4b4)
Tff7b72def Td2a8fftest_oracle_message_dict_reports_lxmf_status_pairTb4b4b4(Te6edf3stateTb4b4b4, Te6edf3methodTb4b4b4)Tb4b4b4:
T8b949e"""API dict state/method must match converters and stay in closed vocabularies."""
Te6edf3payload Tff7b72= Te6edf3convert_lxmf_message_to_dictTb4b4b4(Te6edf3_mock_lxmessageTb4b4b4(Te6edf3stateTff7b72=Te6edf3stateTb4b4b4, Te6edf3methodTff7b72=Te6edf3methodTb4b4b4)Tb4b4b4)
Te6edf3expected_state Tff7b72= Te6edf3LXMF_STATE_ORACLETb4b4b4[Te6edf3stateTb4b4b4]
Te6edf3expected_method Tff7b72= Te6edf3LXMF_METHOD_ORACLETb4b4b4[Te6edf3methodTb4b4b4]
Tff7b72assert Te6edf3payloadTb4b4b4[Ta5d6ff"Ta5d6ffstateTa5d6ff"Tb4b4b4] Tff7b72== Te6edf3expected_state
Tff7b72assert Te6edf3payloadTb4b4b4[Ta5d6ff"Ta5d6ffmethodTa5d6ff"Tb4b4b4] Tff7b72== Te6edf3expected_method
Tff7b72assert Te6edf3payloadTb4b4b4[Ta5d6ff"Ta5d6ffstateTa5d6ff"Tb4b4b4] Tff7b72in Te6edf3API_LIFECYCLE_STATES
Tff7b72assert Te6edf3payloadTb4b4b4[Ta5d6ff"Ta5d6ffmethodTa5d6ff"Tb4b4b4] Tff7b72in Te6edf3API_DELIVERY_METHODS
T8b949e# Propagation is method-only. Lifecycle must never be labeled "propagated".
Tff7b72assert Te6edf3payloadTb4b4b4[Ta5d6ff"Ta5d6ffstateTa5d6ff"Tb4b4b4] Tff7b72!= Ta5d6ff"Ta5d6ffpropagatedTa5d6ff"
Tff7b72def Td2a8fftest_oracle_propagated_sent_is_on_node_not_deliveredTb4b4b4(Tb4b4b4)Tb4b4b4:
T8b949e"""Parked on a propagation node is SENT + PROPAGATED, not DELIVERED."""
Te6edf3payload Tff7b72= Te6edf3convert_lxmf_message_to_dictTb4b4b4(
Te6edf3_mock_lxmessageTb4b4b4(Te6edf3stateTff7b72=Te6edf3LXMFTff7b72.Td2a8ffLXMessageTff7b72.Td2a8ffSENTTb4b4b4, Te6edf3methodTff7b72=Te6edf3LXMFTff7b72.Td2a8ffLXMessageTff7b72.Td2a8ffPROPAGATEDTb4b4b4)
Tb4b4b4)
Tff7b72assert Te6edf3payloadTb4b4b4[Ta5d6ff"Ta5d6ffstateTa5d6ff"Tb4b4b4] Tff7b72== Ta5d6ff"Ta5d6ffsentTa5d6ff"
Tff7b72assert Te6edf3payloadTb4b4b4[Ta5d6ff"Ta5d6ffmethodTa5d6ff"Tb4b4b4] Tff7b72== Ta5d6ff"Ta5d6ffpropagatedTa5d6ff"
Tff7b72def Td2a8fftest_oracle_propagated_delivered_means_recipient_got_mailTb4b4b4(Tb4b4b4)Tb4b4b4:
Te6edf3payload Tff7b72= Te6edf3convert_lxmf_message_to_dictTb4b4b4(
Te6edf3_mock_lxmessageTb4b4b4(
Te6edf3stateTff7b72=Te6edf3LXMFTff7b72.Td2a8ffLXMessageTff7b72.Td2a8ffDELIVEREDTb4b4b4,
Te6edf3methodTff7b72=Te6edf3LXMFTff7b72.Td2a8ffLXMessageTff7b72.Td2a8ffPROPAGATEDTb4b4b4,
Tb4b4b4)
Tb4b4b4)
Tff7b72assert Te6edf3payloadTb4b4b4[Ta5d6ff"Ta5d6ffstateTa5d6ff"Tb4b4b4] Tff7b72== Ta5d6ff"Ta5d6ffdeliveredTa5d6ff"
Tff7b72assert Te6edf3payloadTb4b4b4[Ta5d6ff"Ta5d6ffmethodTa5d6ff"Tb4b4b4] Tff7b72== Ta5d6ff"Ta5d6ffpropagatedTa5d6ff"
Tff7b72def Td2a8fftest_oracle_direct_delivered_is_not_propagatedTb4b4b4(Tb4b4b4)Tb4b4b4:
Te6edf3payload Tff7b72= Te6edf3convert_lxmf_message_to_dictTb4b4b4(
Te6edf3_mock_lxmessageTb4b4b4(Te6edf3stateTff7b72=Te6edf3LXMFTff7b72.Td2a8ffLXMessageTff7b72.Td2a8ffDELIVEREDTb4b4b4, Te6edf3methodTff7b72=Te6edf3LXMFTff7b72.Td2a8ffLXMessageTff7b72.Td2a8ffDIRECTTb4b4b4)
Tb4b4b4)
Tff7b72assert Te6edf3payloadTb4b4b4[Ta5d6ff"Ta5d6ffstateTa5d6ff"Tb4b4b4] Tff7b72== Ta5d6ff"Ta5d6ffdeliveredTa5d6ff"
Tff7b72assert Te6edf3payloadTb4b4b4[Ta5d6ff"Ta5d6ffmethodTa5d6ff"Tb4b4b4] Tff7b72== Ta5d6ff"Ta5d6ffdirectTa5d6ff"
Tff7b72def Td2a8fftest_oracle_opportunistic_failed_still_reports_failed_stateTb4b4b4(Tb4b4b4)Tb4b4b4:
T8b949e"""Backend keeps LXMF FAILED. UI may treat opportunistic+failed as deferred wait."""
Te6edf3payload Tff7b72= Te6edf3convert_lxmf_message_to_dictTb4b4b4(
Te6edf3_mock_lxmessageTb4b4b4(
Te6edf3stateTff7b72=Te6edf3LXMFTff7b72.Td2a8ffLXMessageTff7b72.Td2a8ffFAILEDTb4b4b4,
Te6edf3methodTff7b72=Te6edf3LXMFTff7b72.Td2a8ffLXMessageTff7b72.Td2a8ffOPPORTUNISTICTb4b4b4,
Tb4b4b4)
Tb4b4b4)
Tff7b72assert Te6edf3payloadTb4b4b4[Ta5d6ff"Ta5d6ffstateTa5d6ff"Tb4b4b4] Tff7b72== Ta5d6ff"Ta5d6fffailedTa5d6ff"
Tff7b72assert Te6edf3payloadTb4b4b4[Ta5d6ff"Ta5d6ffmethodTa5d6ff"Tb4b4b4] Tff7b72== Ta5d6ff"Ta5d6ffopportunisticTa5d6ff"
Tff7b72def Td2a8fftest_oracle_paper_method_preserved_across_statesTb4b4b4(Tb4b4b4)Tb4b4b4:
Tff7b72for Te6edf3stateTb4b4b4, Te6edf3state_name Tff7b72in Tb4b4b4(
Tb4b4b4(Te6edf3LXMFTff7b72.Td2a8ffLXMessageTff7b72.Td2a8ffSENTTb4b4b4, Ta5d6ff"Ta5d6ffsentTa5d6ff"Tb4b4b4)Tb4b4b4,
Tb4b4b4(Te6edf3LXMFTff7b72.Td2a8ffLXMessageTff7b72.Td2a8ffDELIVEREDTb4b4b4, Ta5d6ff"Ta5d6ffdeliveredTa5d6ff"Tb4b4b4)Tb4b4b4,
Tb4b4b4)Tb4b4b4:
Te6edf3payload Tff7b72= Te6edf3convert_lxmf_message_to_dictTb4b4b4(
Te6edf3_mock_lxmessageTb4b4b4(Te6edf3stateTff7b72=Te6edf3stateTb4b4b4, Te6edf3methodTff7b72=Te6edf3LXMFTff7b72.Td2a8ffLXMessageTff7b72.Td2a8ffPAPERTb4b4b4)
Tb4b4b4)
Tff7b72assert Te6edf3payloadTb4b4b4[Ta5d6ff"Ta5d6ffstateTa5d6ff"Tb4b4b4] Tff7b72== Te6edf3state_name
Tff7b72assert Te6edf3payloadTb4b4b4[Ta5d6ff"Ta5d6ffmethodTa5d6ff"Tb4b4b4] Tff7b72== Ta5d6ff"Ta5d6ffpaperTa5d6ff"
Tff7b72def Td2a8fftest_lxmf_status_oracle_provedTb4b4b4(Tb4b4b4)Tb4b4b4:
T8b949e"""PROVED marker: full known state/method tables convert correctly."""
Tff7b72for Te6edf3lxmf_stateTb4b4b4, Te6edf3expected Tff7b72in Te6edf3LXMF_STATE_ORACLETff7b72.Td2a8ffitemsTb4b4b4(Tb4b4b4)Tb4b4b4:
Tff7b72assert Te6edf3convert_lxmf_state_to_stringTb4b4b4(Te6edf3_msgTb4b4b4(Te6edf3stateTff7b72=Te6edf3lxmf_stateTb4b4b4)Tb4b4b4) Tff7b72== Te6edf3expected
Tff7b72for Te6edf3lxmf_methodTb4b4b4, Te6edf3expected Tff7b72in Te6edf3LXMF_METHOD_ORACLETff7b72.Td2a8ffitemsTb4b4b4(Tb4b4b4)Tb4b4b4:
Tff7b72assert Te6edf3convert_lxmf_method_to_stringTb4b4b4(Te6edf3_msgTb4b4b4(Te6edf3methodTff7b72=Te6edf3lxmf_methodTb4b4b4)Tb4b4b4) Tff7b72== Te6edf3expected
Tffa657printTb4b4b4(Ta5d6ff"Ta5d6ffLXMF_STATUS_REPORTING_PROVEDTa5d6ff"Tb4b4b4)
──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────